/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Department of Computer Science, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
¬March 22, 1983 




␈↓ ↓H␈↓Dr  George Paul
␈↓ ↓H␈↓IBM TJ Watson Research Center
␈↓ ↓H␈↓P.O. Box 218
␈↓ ↓H␈↓Yorktown Heights, New York 10598

␈↓ ↓H␈↓Dear Dr. Paul:

␈↓ ↓H␈↓        Jitendra␈α∞Malik␈α∞worked␈α∞for␈α∞me␈α∞as␈α∞a␈α∞research␈α∞assistant␈α∞during␈α∞the␈α∞Spring␈α∞and␈α∂Summer␈α∞of
␈↓ ↓H␈↓1981␈α
and␈α
as␈α
a␈α
teaching␈α∞assistant␈α
in␈α
the␈α
Fall␈α
of␈α∞1981.␈α
 The␈α
work␈α
involved␈α
proving␈α∞properties␈α
of
␈↓ ↓H␈↓LISP␈αprograms␈α
using␈αthe␈αnew␈α
EKL␈αinteractive␈α
theorem␈αprover␈αdeveloped␈α
by␈αDr.␈α
Jussi␈αKetonen.
␈↓ ↓H␈↓Mr.␈αMalik␈αwas␈αconscientious,␈αbut␈αprogram␈αveri≡cation␈αturned␈αout␈αnot␈αto␈αappeal␈αto␈αhim␈αas␈αan␈αarea
␈↓ ↓H␈↓of␈α
research.␈α
 I␈α
would␈αexpect␈α
that␈α
his␈α
more␈α
recent␈αrecommendation␈α
from␈α
Tom␈α
Binford␈αwould␈α
better
␈↓ ↓H␈↓re∨ect his abilities.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Professor of Computer Science